Artículo
|
Reasoning about static and dynamic properties in Alloy : A purely relational approach
|
Frias, Marcelo F.
|
(2005)
|
|
----------
|
Artículo
|
Reasoning about the correctness of software development process :
|
Pons, Claudia Fabiana
|
(2002)
|
|
----------
|
Tesis
|
Sobre la representación de S4.3.:
|
Bonelli, Eduardo
|
(1996)
|
Sala
|
----------
|
Artículo
|
Taking alloy to the movies :
|
Frias, Marcelo F.
|
(2003)
|
|
----------
|
Analítica
|
Translating Fork specifications into logic programs
|
Baum, Gabriel Alfredo
|
EN:
CACIC [CD-ROM]
/ Congreso Argentino de Ciencias de la Computación (4º : 1998 : Neuquén)
Edición: (1998)
(Libro)
|
|
----------
|
Artículo
|
Translating fork specifications into logic programs :
|
Baum, Gabriel Alfredo
|
(2001)
|
|
----------
|
Tesis
|
Un enfoque ecléctico para la implementación de estructuras de datos:
|
Pedemonte, Pablo J.
|
(2001)
|
Sala
|
----------
|
Tesis
|
Un servidor de aplicaciones MLS: especificación y verificación de propiedades de seguridad
|
Valente, Abel
|
(2003)
|
Sala
|
----------
|
Tesis
|
Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelos:
|
Pons, Claudia Fabiana
|
(1999)
|
Sala
|
----------
|
Artículo
|
Variable-based analysis for traceability in QVT-R model transformations :
|
Martínez Grassi, Omar Armando
|
(2015)
|
|
----------
|